correct-by-construction editing

См. также в других словарях:

• The Elder Scrolls Construction Set — The Elder Scrolls (TES) Construction Set is editing software for the video games and ; the Morrowind version was shipped with the game while the Oblivion version is available for [http://www.elderscrolls.com/downloads/updates utilities.htm… …   Wikipedia

• Schematic driven layout — is the concept in IC Layout or PCB layout where the EDA software links the schematic and layout databases. It was one of the first big steps forward in layout software from the days when editing tools were simply handling drawn polygons. Features …   Wikipedia

• Wikipedia:Featured article candidates — Here, we determine which articles are to be featured articles (FAs). FAs exemplify Wikipedia s very best work and satisfy the FA criteria. All editors are welcome to review nominations; please see the review FAQ. Before nominating an article,… …   Wikipedia

• Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts …   Wikipedia

• American and British English differences — For the Wikipedia editing policy on use of regional variants in Wikipedia, see Wikipedia:Manual of style#National varieties of English. This is one of a series of articles about the differences between British English and American English, which …   Wikipedia

• BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

• PENTATEUCH — This article is arranged according to the following outline: introduction definition outline contents and structure the primeval history the patriarchs the exodus Sinai/Horeb Covenant and Laws the journey Moses Farewell the authors doublets and… …   Encyclopedia of Judaism

• historiography — historiographic /hi stawr ee euh graf ik, stohr /, historiographical, adj. historiographically, adv. /hi stawr ee og reuh fee, stohr /, n., pl. historiographies. 1. the body of literature dealing with historical matters; histories collectively. 2 …   Universalium

• education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… …   Universalium

• biblical literature — Introduction       four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha.       The Old… …   Universalium

• Sentence spacing — Double sentence spaced typewriter text (1946) vs. single sentence spaced typeset text (1979) Sentence spacing is the horizontal space between sentences in typeset text. It is a matter of typographical convention …   Wikipedia